翻訳と辞書 |
Radhia Cousot : ウィキペディア英語版 | Radhia Cousot
Radhia Cousot (6 August 1947 – 1 May 2014)〔()〕 was a French computer scientist known for inventing Abstract interpretation. == Studies ==
Radhia Cousot was born on 6 August 1947, in Sakiet Sidi Youssef in Tunisia, where she survived the massacre of the children in her school on February 8, 1958. She then went to the Lycée de jeunes filles at Sousse, the Lycée français at Algiers and then the Polytechnic School of Algiers (where she was ranked 1st and the only woman). She specialized in mathematical optimization and integer linear programming. Supported by a UNESCO (fellowship ) (1972–1975), she obtained a master's degree in Computer Science (Diplôme d'études approfondies (DEA)) at the Joseph Fourier University of Grenoble in 1972. She obtained her Doctorate ès Sciences/State Doctorate in Mathematics in Nancy in 1985 under the supervision of .〔In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being necessary to access professorships. It has since been replaced by the habilitation.〕
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Radhia Cousot」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|